-
1 математическая логика
Большой англо-русский и русско-английский словарь > математическая логика
-
2 математическая логика
Англо-русский словарь технических терминов > математическая логика
-
3 logic theory
Большой англо-русский и русско-английский словарь > logic theory
-
4 mathematical logic
Большой англо-русский и русско-английский словарь > mathematical logic
-
5 logic theory
-
6 mathematical logic
Англо-русский словарь технических терминов > mathematical logic
-
7 mathematical logic
-
8 mathematical logic
-
9 mathematics of logic
English-Russian electronics dictionary > mathematics of logic
-
10 mathematics of logic
The New English-Russian Dictionary of Radio-electronics > mathematics of logic
-
11 logic theory
English-Russian dictionary of computer science and programming > logic theory
-
12 mathematical logic
English-Russian dictionary of computer science and programming > mathematical logic
-
13 mathematics of logic
English-Russian dictionary of computer science and programming > mathematics of logic
-
14 logic theory
-
15 logic theory
-
16 logic theory
English-Russian dictionary of terms that are used in computer games > logic theory
-
17 mathematical logic
математическая логикаEnglish-Russian dictionary of technical terms > mathematical logic
-
18 logic theory
-
19 mathematical logic
-
20 mathematical logic
Англо-русский словарь по исследованиям и ноу-хау > mathematical logic
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений … Современная энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике … Большой Энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая… … Научно-технический энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… … Новейший философский словарь
математическая логика — сущ., кол во синонимов: 1 • логистика (9) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
математическая логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN mathematical logic … Справочник технического переводчика
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия